Type Theory and Projections for Static
نویسنده
چکیده
A system of annotated types is proposed as a means of describing and inferring static information, such as strictness and constancy, about functional programs. An abstract semantics is given in terms of projections. A close connection between annotated type assignment and projection analysis is demonstrated.
منابع مشابه
On Static Bending, Elastic Buckling and Free Vibration Analysis of Symmetric Functionally Graded Sandwich Beams
This article presents Navier type closed-form solutions for static bending, elastic buckling and free vibration analysis of symmetric functionally graded (FG) sandwich beams using a hyperbolic shear deformation theory. The beam has FG skins and isotropic core. Material properties of FG skins are varied through the thickness according to the power law distribution. The present theory accounts fo...
متن کاملSimulation and Derivation of Deflection Equation for Suspended Diaphragm for MEMS Application Using Kirchhoff-Love Theory
In this paper, using theory of sheets, the deflection of suspended diaphragm has been obtained under uniform and circular loading. This type of diaphragm, unlike other diaphragms, has a central support which is recommended to be used in MEMS applications. The relationship between diaphragm deflection and static analysis of this diaphragm enjoys a great significance in investigating and understa...
متن کاملStatic analysis of rectangular nanoplates using exponential shear deformation theory based on strain gradient elasticity theory
In this research, the bending analysis of rectangular nanoplates subjected to mechanical loading is investigated. For this purpose, the strain gradient elasticity theory with one gradient parameter is presented to study the nanoplates. From the best knowledge of authors, it is the first time that the exponential shear deformation formulation based on strain gradient elasticity theory is carried...
متن کاملH&infin Controller Design for Static VAR Compensators in Industrial Networks
This paper deals with the design and evaluation of a robust controller for static VAR compensator (SVC) in remote industrial power systems to enhance the voltage profile for three-phase single cage induction motor (SCIM) loads. The controller design is based on H∞ theory to deal with uncertainties arising in industrial network modelling. 
The performance of the H∞ controller has been evaluat...
متن کاملH&infin Controller Design for Static VAR Compensators in Industrial Networks
This paper deals with the design and evaluation of a robust controller for static VAR compensator (SVC) in remote industrial power systems to enhance the voltage profile for three-phase single cage induction motor (SCIM) loads. The controller design is based on H∞ theory to deal with uncertainties arising in industrial network modelling. The performance of the H∞ controller has been evaluated...
متن کامل